3921. advanced Lukasiewicz calculus and mv-algebras
Author: d.mundici
Library: Central Library and Documentation Center (Semnan)
Subject: ، ۱اukasiewicz algebras
Classification :
QA
10
.
M
9
1991
3922. advanced inequalities
Author: / George A Anastassiou
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: mathematics,advanced inequalities
Classification :
QA37
.
2
.
A52
2011
3923. an index and other useful information : 501-600
Author:
Library: Library of College of Science University of Tehran (Tehran)
Subject: Indexes ، Lecture notes in mathematics,Indexes ، Mathematics
Classification :
QA
3
.
L28
Index
501-600
3924. basic concept of chemical thermodynamics
Author: manish rathi
Library: Central Library and Documentation Center (Semnan)
Subject: ، Chemistry, Physical and theoretical,Lehrbuch ، Physikalische Chemie,0 Gesamtdarstellung ، Physikalische Chemie
Classification :
QD
453
.
3
.
F56
2011
3925. Conics, books V to VII : the Arabic translation of the lost Greek original in the version of the Banu Musa
پدیدآورنده : Apollonius ; edited with translation and commentary by G.J. Toomer,Title
موضوع : Mathematics, Greek,Conic sections
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
3926. Elementary topics in differential geometry
پدیدآورنده : Thorpe, John A
موضوع : ، Geometry, Differential
۴ نسخه از این کتاب در ۴ کتابخانه موجود است.
3927. eng 0
Author: edited by Sharon Macdonald.
Library: Library of Islamic Parliament (Tehran)
Subject:
3929. f-sultanmuhamad
پدیدآورنده : edited by Daniel Wüger.
موضوع :
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
3930. f-sultanmuhamad,BL
Author: edited by David Dyzenhaus. ,Michael Ruse.
Library: Library of Islamic Parliament (Tehran)
Subject:
3931. fundamentals of design and manufacturing technology I
Author: / edited by Hun Guo, Zuo Dunwen, Tang Guoxing
Library: (South Khorasan)
Subject: Engineering design--Data processing,Manufacturing processes--Data processing,Computer integrated manufacturing systems,Manufacturing processes--Automation,CAD/CAM systems
Classification :
TA174
.
A385
2011
3932. Integral methods in science and engineering
Author: C. Constanda, M.E. Paerez, editors
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Integral equations, Numerical solutions, Congresses,Mathematical analysis, Congresses,Science, Mathematics, Congresses,Engineering mathematics, Congresses
Classification :
QC
،
174
.
45
،.
A1
,
I576
،
2008
3933. Intelligent optimisation techniques: genetic algorithms, tabu search, simulated annealing and neural networks
Author: D. T. Pham and D. Kraboga
Library: Library of Institute For Color Science and Technology (Tehran)
Subject: Engineering--Data processing,Computer--Acided engineering,Heuristic programming,Genetic algorithms,Simulated annealing (Mathematics ),Neural networks (Computer science)
3934. orthogonal and symplectic clifford algebras
Author: / by Albert Crumeyrolle,Crumeyrolle
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Clifford algebras,Spinor analysis
Classification :
QA
199
.
C79
1990
3935. predicative arithmetic
Author: Nelson,Edward
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Constructive mathematics,Arithmatic 1691
Classification :
QA
9
.
56
.
N45
1986
3936. pt. I. Perspective : legislative role of the judge and human rights law. Legislative role of the judge : a vital force in the life of the law ; Relationship between human rights and international law : principle of human dignity versus principle of state sovereignty -- pt. II. The development of human rights law by the International Court of Justice : contentious cases. Corfu Channel case (United Kingdom v Albania) (1947-1949) ; South West Africa cases (Ethiopia v South Africa ; Liberia v South Africa) : violation of human rights law led to formation of human rights law (1960-1966) ; Barcelona Traction, Light and Power Company, Limited (new application : 1962) case (Belgium v Spain) (1962-70) ; United States diplomatic and consular staff in Tehran case (USA v Iran) (1979-1981) ; Military and paramilitary activities in and against Nicaragua case (Nicaragua v USA) (1984-1991) ; East Timor case (Portugal v Australia) (1991-1994): human rights versus state sovereignty (1991-1994) ; Application of the Convention on the Prevention and Punishment of the Crime of Genocide case (Bosnia and Herzegovia v Serbia Montenegro) (1993- ) : prohibition of genocide as jus cogens ; Legality of use of force cases (Yugoslavia v Belgium; Yugoslavia v Canada; Yugoslavia v France ; Yugoslavia v Germant ; Yugoslavia v Italy ; Yugoslavia v Netherlands ; Yugoslavia v Portugal ; Yugoslavia v Spain ; Yugoslavia v UK ; Yugoslavia v USA) (1999- ) ; Arrest warrant of 11 April 2000 (Democratic Republic of the Congo v Belgium) : an analysis of human dignity of the people, for the people, by the people (2000-2002) ; Vienna Convention on Consular Relations cases (1998-2004) : the Convention does create individual rights -- pt. III. The development of human rights law by the International Court of Justice : advisory cases. International status of South West Africa case (1949-1950) : the principle of sacred trust of civilization ; Reservations to the Convention on the Prevention and Punishment of the Crime of Genocide case (1950-1951) ; Legal consequences for states of the continued presence of
Author: Shiv R.S. Bedi.
Library: Library of Islamic Parliament (Tehran)
Subject:
3937. Équations algébriques et théorie de Galois /
Author: Claude Mutafian.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Equations-- Numerical solutions,Field extensions (Mathematics),Galois theory
3938. ten lectures on wavelets
Author: Ingrid Daubechies.
Library: Vali Asr University Central Library (Kerman)
Subject: Wavelets )Mathematics( -- Congresses
Classification :
QA
403
.
3
.
D38
,
T4
1992
3939. 4th ed., new impressi
Author: 20090530
Library: Library of Islamic Parliament (Tehran)
Subject:
